Semantic Dictionary Encoding
falvotech.com·14h·
Discuss: Hacker News
🌀Brotli Dictionary
A Dumb Introduction to z3. Exploring the world of constraint solvers with very simple examples.
asibahi.github.io·1d·
Discuss: Hacker News, r/programming, r/rust
🧮Z3 Solver
Pursuing a Trick a Long Way Just to See Where It Goes, with Simon Peyton Jones
popovit.ch·1d·
Discuss: Hacker News
💻Programming languages
What is Algebraic about Algebraic Effects?
interjectedfuture.com·13h
✨Algebraic Effects
Balance between refactoring and inheritance in your code
github.com·17h·
Discuss: Hacker News
✅Format Verification
Topological Sort: Managing Mutable Structures in Haskell
mmhaskell.com·20h
🔗Topological Sorting
libvips v8.18.0 Function Pointer Type Confusion in libvips Callback Dispatch
seclists.org·2h
🦀Rust Verification
Making Judicial Reasoning Visible: Structured Annotation of Holding, Evidentiary Considerations, and Subsumption in Criminal Judgments
arxiv.org·1h
🧮Theorem Proving
A Slotted Hash Cons for Alpha Invariance
philipzucker.com·10h·
Discuss: Hacker News
λLambda Encodings
Logic Engines: Building Smarter AI with State-Based Truth Tables by Arvind Sundararajan
dev.to·14h·
Discuss: DEV
🔧Hardware Verification
The Risks of Code Assistant LLMs: Harmful Content, Misuse and Deception
unit42.paloaltonetworks.com·7h
⚡Proof Automation
Pre-viva Talk - 02/10/2025
informatics.ed.ac.uk·16h
🤖Grammar Induction
Algebraic Types are not Scary
blog.aiono.dev·19h·
Discuss: Lobsters, Hacker News, r/programming
🧮Algebraic Datatypes
Analyzing Lisp Redux: One Form At a Time
funcall.blogspot.com·14h·
Discuss: www.blogger.com
🔗Lisp
A Lisp compiler to ARM written in Lisp (2)
forum.ulisp.com·16h·
Discuss: Hacker News
🔗Lisp
Faux Type Theory: three minimalist OCaml simple proof checker implementations
github.com·2d·
Discuss: Hacker News
🔤Type Theory
ECMAScript TC39 proposal-pattern-matching
github.com·15h·
Discuss: Hacker News
🔤Type Theory
In-depth Review of Emacs tree-sitter integration
archive.casouri.cc·6h·
Discuss: Lobsters
🌳Incremental Parsing
Learn How to Use Transformers with HuggingFace and SpaCy
towardsdatascience.com·15h
🎯Dependent Parsing
How to Debug Chez Scheme Programs (2002)
scheme.com·8h·
Discuss: Hacker News
📜Proof Carrying Code